Search results for "State system"
showing 5 items of 5 documents
Rapid Reform and Unfinished Business: the development of education in independent Latvia 1991-2007
2008
Education in Latvia has changed a great deal in the last 15 years. The development of an independent and democratic state system has creatively combined elements of foreign experience and influence with the enrichment and further development of features of the earlier Latvian system. This article outlines the main steps in this process of change and then goes on to argue that there is still much to be done: firstly, to consolidate and secure the developments to date, and secondly, to enable a successful functioning within the EU in a rapidly changing wider context.
Nonlinear quantum Langevin equations for bosonic modes in solid-state systems
2017
Based on the experimental evidence that impurities contribute to the dissipation properties of solid-state open quantum systems, we provide here a description in terms of nonlinear quantum Langevin equations of the role played by two-level systems in the dynamics of a bosonic degree of freedom. Our starting point is represented by the description of the system/environment coupling in terms of coupling to two separate reservoirs, modelling the interaction with external bosonic modes and two level systems, respectively. Furthermore, we show how this model represents a specific example of a class of open quantum systems that can be described by nonlinear quantum Langevin equations. Our analysi…
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…
Dynamics of a two-state system through a real level crossing
2015
The dynamics of a two-state system whose energies undergo a real crossing at some instant of time is studied. At this instant, both the coupling and the detuning vanish simultaneously, which leads to an exact degeneracy of the eigenenergies of the system. It is found that the dynamics of the system is primarily determined by the manner in which the degeneracy occurs. This interesting behavior is reminiscent of a symmetry breaking process, since the totally symmetric situation occurring at the crossing is significantly altered by infinitesimal quantities, which remove the degeneracy, with very important dynamical implications from there on. A very simple analytical formula is derived, which …
Mathematical Modeling and Parameters Estimation of Car Crash Using Eigensystem Realization Algorithm and Curve-Fitting Approaches
2013
Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2013/262196 Open Access An eigensystem realization algorithm (ERA) approach for estimating the structural system matrices is proposed in this paper using the measurements of acceleration data available from the real crash test. A mathematical model that represents the real vehicle frontal crash scenario is presented. The model's structure is a double-spring-mass-damper system, whereby the front mass represents the vehicle-chassis and the rear mass represents the passenger compartment. The physical parameters of the model are estimated using cu…